/**********************************************************************************************/
// syntez.h
//
// header for implementation of synthez of the Mili automat
// Copyright Diamant Group 2008
/**********************************************************************************************/
#ifndef _SYNTEZ_H_
#define	_SYNTEZ_H_

#include "dgtKernel.h"
#include "dgt_Algorithm.h"
#include "dgt_Element.h"

/**********************************************************************************************/
int	get_TriggerCount( dgt_Algorithm_Ptr inAlg );

/**********************************************************************************************/
dgt_LogTableArray get_LogTablesTriggers( dgt_Algorithm_Ptr inAlg, dgt_Element_Ptr inTrig );

#endif // _SYNTEZ_H_